• Conference Object  

      HARPA: Solutions for dependable performance under physically induced performance variability 

      Rodopoulos, Dimitrios; Corbetta, S.; Massari, Giuseppe; Libutti, S.; Catthoor, F.; Sazeides, Yiannakis; Nicopoulos, Chrysostomos A.; Portero, Antoni; Cappe, E.; Vavrík, R.; Vondrák, V.; Soudris, Dimitrios J.; Sassi, F.; Fritsch, A.; Fornaciari, W. (Institute of Electrical and Electronics Engineers Inc., 2015)
      Transistor miniaturization, combined with the dawn of novel switching semiconductor structures, calls for careful examination of the variability and aging of the computer fabric. Time-zero and time-dependent phenomena need ...
    • Article  

      Modeling and analysis of power-aware systems 

      Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (2003)
      The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...